陈铭松2003年与2006年分别获得南京大学计算机科学与技术专业本科与硕士学位，2010年获得美国佛罗里达大学计算机博士学位。2010年加入华东师范大学软件学院，2015年获教授职称。在嵌入式系统与云计算顶级期刊与会议如ACM TECS、ACM TODAES、IEEE TC、IEEE TCAD、IEEE TCC、 IEEE TPDS、CODES+ISSS、DAC、DATE、ISCA上发表论文100余篇，获批软件著作权10余项，申请/获批专利20余项。主持完成包括自然科学基金委重点项目在内的省部级项目7项。相关研究成果2013年形成Springer英文专著一部，其俄文版本也于2014年正式出版。2009年与2013年曾两次获得国际重要会议“国际VLSI设计大会”与“国际嵌入式大会”最佳论文提名。 Mingsong Chen is a full Professor in the Computer Science and Software Engineering Institute (CS&SEI) at the East China Normal University (ECNU). Currently he serves as the vice director of the department of Embedded Software and Systems. His research interests include design automation of smart cyber physical systems, cloud/edge computing, computer architecture, and IoT. He received his B.S. and M. Eng. from Nanjing University in 2003 and 2006 respectively, and Ph.D. from the University of Florida, in 2010 - all in Computer Science. Prof. Chen is a Senior Member of IEEE, a Senior Member of CCF, and a member of ACM. Supported By:Natural Science Foundation of China (PI, 2019.1-2022.12, 0.65M RMB)National key research and development program (Chief PI, 2019.7-2022.6, 17M RMB)Intel Research Project (PI, 2018.5-2018.12, 52K RMB)Natural Science Foundation of China (PI, 2017.1-2017.12, 0.16M RMB)Key Project from Natural Science Foundation of China (PI, 2015.1-2016.12, 1.5M RMB)Natural Science Foundation of China (PI, 2013.1-2015.12, 0.25M RMB)Key project from Ministry of Education of Shanghai (PI, 2014.01-2016-12,, 0.16M RMB)Doctoral Fund of Ministry of Education of China (PI‚ 2012.1 - 2013.12, 40K RMB)Open Project of Sw/Hw Co-design Engineering Research Center, Ministry of Education of China(PI‚ 2013.4 - 2015.12)Innovation Research Grant from ECNU (PI‚ 2011.1 - 2012.12, Finished)Books& Book Chapters[B1] Mingsong Chen‚ Xiaoke Qin, Heon-mo Koo, and Prabhat Mishra. System-Level Validation:High-Level Modeling and Directed Test Generation Techniques. Springer, 2012. (ISBN:978-1-4614-1358-5) [google book]中国专利[1] 陈铭松，顾璠. 制程变异下基于UPPAAL-SMC的MPSoC任务调度建模与评估方法,2015.1,中国， 201510005475.4，受理[2] 陈铭松，黄赛杰. 一种基于统计模型检验的UML活动图评估方法,2015.1,中国， 201510005356.9，受理[3] 陈铭松，黄赛杰.一种云计算中资源分配策略的评估方法，2014.5，中国， 201410189197.8，受理 [4] 陈铭松，李昂.一种基于UML活动图的GUI测试方法，2013.12，中国，201310746056.7， 受理[5] 陈铭松，黄赛杰，浦戈光. 一种基于时间自动机的软硬件最优划分的可视化方法，中国，201410350399.6，受理